Hybrid Systems III - Verification and Control

Författare
(Edited by Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg, Imprint: Springer 1996 Tyskland, Berlin, Heidelberg 1 online resource (IX, 619 sidor.)